Infrequent Exploration in Linear Bandits
arxiv.org·16h
🧠Machine Learning
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·15h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Prioritize Your To-Do Lists With the ABC Method
lifehacker.com·7h
Awesome lists
Flag this post
How Much Does Game 1 Matter?
thefiddler.substack.com·8h·
Discuss: Substack
Automated Theorem Proving
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.com·50m·
🗂Data structures
Flag this post
Week #767 & #768
optional.is·6h
📈Time Series
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·4d
🔗Constraint Handling
Flag this post
Vectorizing for Fun and Performance
ibm.com·2d·
Discuss: Hacker News
SIMD Vectorization
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·16h
🎯Performance Proofs
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·17h·
Discuss: Hacker News
🔐CBOR
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
qordinate.ai·4h·
Discuss: Hacker News
🎙️Whisper
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·16h
Effect Handlers
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔨Compilers
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·16h
💻Local LLMs
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post